#ifndef __BSP_WDT_H
#define __BSP_WDT_H
#include "LPC17xx.h"
#include "lpc17xx_wdt.h"

void Wdt_config(void);
void feed_wdt(void);

#endif
